2181. Scripting in Java : languages, frameworks, and patterns
پدیدآورنده : Bosanac, Dejan.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Java )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
J38
B6715
2008
2182. Security engineering :
پدیدآورنده : Ross J. Anderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer security.,Electronic data processing-- Distributed processing.,Computer security.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Computersicherheit,Electronic data processing-- Distributed processing.,IT-säkerhet.,Verteiltes System
رده :
QA76
.
9
.
A25
A54
2008eb
2183. Selected reprints in software
پدیدآورنده : edited by Marvin V. Zelkowitz
موضوع : Computer software,Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2184. #Selected writings on computing
پدیدآورنده : #Edsger W. Dijkstra
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Electronic data processing ،Computers ،Programming )Electronic computers(
رده :
#
QA
،#.
D54
،#
1982
2185. Selected writings on computing : a personal perspective
پدیدآورنده : / Edsger W. Dijkstra
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic data processing - Addresses, essays, lectures,Computers - Addresses, essays lectures,Programming (Electronic computers) - Addresses, essays, lectures
رده :
QA76
.
24
.
D54
1982
2186. Semantic techniques in quantum computation /
پدیدآورنده : edited by Simon Gay, Ian Mackie.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
رده :
QA76
.
889
.
S36
2010
2187. Semantics With Applications : A Formal Introduction
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Programming languages (Electronic computers) - Semantics,زبان های برنامه نویسی کامپیوتر - معنی شناسی,Nielson, Hanne Riis, 1954-,Nielson, Flemming, 1955-
رده :
CD-B
,
QA
,
76
,.
7
,.
N54
,
1992
2188. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
2189. Semantics-directed compiler generation : proceedings of a Workshop, Aarhus, Denmark, January 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compilers )Computer programs(,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
94
2190. Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January, 1980
پدیدآورنده : edited by Neil D. Jones
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Compilers )Computer programs(,، Programming languages )Electronic computers( - Semantics
رده :
QA
1
.
L4
v
.
94
2191. Semantics-directed compiler generation: proceedings of workshop Aarhus, Denmark, January, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Compiling )Electronic computers(,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
W698
1980
2192. Semantics for concurrency : proceedings of the International BCS-FACS Workshop
پدیدآورنده : sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
.
I56
76
.
642
1990
2193. Semantics : foundations and applications : REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992 : Proceedings
پدیدآورنده : J.W. de Baker, W.P. de Roever, G. Rozenberg )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
666
2194. Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
R49
1992
2195. Semantics of concurrent computation :
پدیدآورنده : edited by Gilles Kahn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Traitement simultané (Ordinateurs) -- Congrès.
رده :
QA76
.
6
E358
1979
2196. Semantics of concurrent computation : proceedings of the international symposium, Evian, France, July 2-4, 1979
پدیدآورنده : International Symposium on Semantics of Concurrent Computation, )9791, Evian-les-Bains, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Parallel processing )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
6
.
I577
1979
2197. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
2198. Semantics of programming languages
پدیدآورنده : Tennent, R.D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
T473
1991
2199. Semantics of programming languages
پدیدآورنده : Tennent, R. D.,4491-,R.D. Tennent
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Programming languages )Electronic computers(- Semantics
رده :
QA
76
.
7
.
T473
2200. Semantics of programming languages and model theory
پدیدآورنده : / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471